- 双语例句 更多例句
1、
从计算语义学角度看俄语形容词的语义分类问题
互联网摘选
2、
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
互联网摘选
- 相关词组
- data semantics[计]数据语义学;
- logic semantics[计]逻辑语义学;
- formal semantics形式语义学[程序];
- world semantics[计] 世界语义学;
- tree semantics[计]树状语义学;
- computational linguistics计算语言学;
- computational method[计] 计算方法;
- computational error计算误差;
- general semantics普通语义;
- dynamic semantics[计]动态语义学;
- body semantics体态语义学；手势语义学;
- query semantics[计]查询语义学;
- computational table计算表;
- computational scheme计算线路，计算方案;
- trace semantics[计]轨迹语义学;
- computational model[计] 计算模型;
- Computational Geometry计算几何;
- fault semantics[计]故障语义学;
- final semantics[计]最终语义学;
- verb semantics动词语义学;
- 今日热词
- 热门搜索
- abb n.横丝，纬纱，劣质羊毛;粗次毛;（织物的）经（纬）丝（线）;最次等边坎毛；等外（劣等）羊毛;修道院院长
- the Great Wall 长城;万里长城;
- limitless adj.无限制的；无界限的；无限度的；无止境的;
- physician n.医生，内科医生;<口>医学博士;（精神创伤的）医治者，抚慰者;
- john n.厕所;茅房；抽水马桶网络约翰；约翰福音；约翰一书
- I want you back 我要你回来; 我想要你回来; 我想你回来; 我希望你回来; 我想让你回来;
- Rational Rose UML可视化建模工具;建模工具;UML工具;用例模型;
- APP n. 计算机应用程序;abbr. 应用(Application);穿甲试验(Armor Piercing Proof);计算机应用程序;
- carry vt. 支撑;携带;输送;运载;vt.& vi. 运送;搬运;具有;
- rhyme n.韵脚;韵文;押韵词;v.押韵;作押韵诗;
- Happy New Year 新年快乐;新年好;新春快乐;
- mine pron.(I的所有格)我的（东西）;n.矿;矿井;地雷;水雷;
